Edinburgh

Results: 6612



#Item
301

Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2013-01-09 06:40:19
    302

    Bott 13 Kaurna Avenue, Edinburgh Parks, South Australia 5111 Tel

    Add to Reading List

    Source URL: www.bott-group.com.au

    - Date: 2013-11-19 09:21:10
      303

      2a Robertson Avenue, Edinburgh EH11 1PZ www.florisbooks.co.uk RIGHTS LIST Spring 2016

      Add to Reading List

      Source URL: www.florisbooks.co.uk

      - Date: 2016-03-30 09:46:10
        304

        25 Buccleuch Place Edinburgh EH8 9LN THE SCOTTISH TEXT SOCIETY Newsletter Number 7 – May 2014

        Add to Reading List

        Source URL: www.scottishtextsociety.org

        - Date: 2015-04-07 10:00:26
          305

          Timetable valid from 17 AugustHaddington to Edinburgh Royal Infirmary Monday to Saturday Service

          Add to Reading List

          Source URL: prenticeofhaddington.info

          - Date: 2015-09-07 08:57:12
            306

            Challenges for Quantitative Analysis of Collective Adaptive Systems Jane Hillston LFCS, University of Edinburgh

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2013-09-02 10:22:02
              307

              Guidelines for Non-Invasive Brain Stimulation (NIBS) studies Psychology Ethics Research Committee, University of Edinburgh OctoberIntroduction

              Add to Reading List

              Source URL: www.psy.ed.ac.uk

              - Date: 2015-03-09 11:25:31
                308

                A Guide to Specialising G¨odel Programs with the Partial Evaluator SAGE C.A.Gurr∗ Human Communication Research Centre University of Edinburgh 2 Buccluech Place, Edinburgh EH8 9LW Scotland

                Add to Reading List

                Source URL: repository.readscheme.org

                - Date: 2010-10-22 08:05:11
                  309

                  Tuning Systems: from Composition to Performance Jane Hillston. LFCS, University of Edinburgh.

                  Add to Reading List

                  Source URL: homepages.inf.ed.ac.uk

                  - Date: 2005-09-27 05:38:20
                    310

                    Events Programme The Royal Society of Edinburgh (RSE) organises around 55 events each year ranging from conferences to lectures and discussion forums that are aimed both at the specialist and the general public. The Soci

                    Add to Reading List

                    Source URL: www.royalsoced.org.uk

                    - Date: 2014-08-18 11:00:46
                      UPDATE